Liberalising Event B Without changing it
نویسندگان
چکیده
We transfer a process algebraic notion of refinement to the B method by using the well-known bridge between the relational semantics underlying the B machines and the labelled transition system semantics of processes. Thus we define delta refinement on Event B systems. We then apply this new refinement to a problem from the literature that previously could only be solved by retrenchment.
منابع مشابه
Liberalising Communication Services in South Africa
There is a broad consensus that for the communications industry to flourish in a country, it must be opened to private competition. However, countries have adopted varied approaches to liberalisation, some more cautious than others. This paper critically assesses South Africa’s approach to liberalising its communications industry. It argues that although there have been some gains from the curr...
متن کاملGaliya Chupabayeva
International asset pricing theory suggests that capital market liberalisation will reduce the cost of domestic equity capital through increased international diversification by domestic and international investors. For a liberalising country, this will have a positive effect on domestic investment. Existing empirical evidence provides only partial support to this prediction. Some studies regis...
متن کاملBiotechnology in India: Emerging opportunities
The global biotechnology and pharmaceutical industry is beleaguered with several challenges such as high R&D costs, increasing regulatory restraints and stagnant product pipelines. Thus, major multinational pharmaceutical and biotechnology companies from the West are increasingly looking for low-cost suitable alternatives. Among the emerging markets, India is seen as a low-cost destination with...
متن کاملStatement of Research Visual Event Perception
People can describe what they see. If you were to see me pick up a pen, you could describe that observation by saying Jee picked up the pen. In doing so, you describe both objects, like people and pens, as well as events, like pickings up. Most machine vision research has focussed on object recognition. In contrast, much of my work for the past six years has focussed on event recognition. A por...
متن کاملBehaviour-Based Cheat Detection in Multiplayer Games with Event-B
Cheating is a key issue in multiplayer games as it causes unfairness which reduces legitimate users’ satisfaction and is thus detrimental to game revenue. Many commercial solutions prevent cheats by reacting to specific implementations of cheats. As a result, they respond more slowly to fast-changing cheat techniques. This work proposes a framework using Event-B to describe and detect cheats fr...
متن کامل